Search Results
A Quick Look at Impredicativity (ICFP 2020)
A Quick Look at Impredicativity (Simon Peyton Jones)
@rae: A not-so-quick look at Quick Look impredicativity
ICFP 2020 Session Asia 4
ICFP 2020 Session NY 4
ICFP 2020 Session NY 1
ICFP 2020 Session NY 6
Computation Focusing (ICFP 2020)
Elaboration with First-Class Implicit Function Types (ICFP 2020)
ICFP 2020 Session Asia 2
ICFP 2020 Session Asia 6
@rae: Impredicative types and dynamic types -- useful in parsing JSON
